From 979794f4f77f914aa63396dd0cadf939e918c8fb Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 14 Mar 2026 09:56:26 +0100 Subject: [PATCH] Disable test that needs base_quickcheck --- ...able-test-that-needs-base_quickcheck.patch | 20 +++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 21 insertions(+) create mode 100644 debian/patches/0001-Disable-test-that-needs-base_quickcheck.patch create mode 100644 debian/patches/series diff --git a/debian/patches/0001-Disable-test-that-needs-base_quickcheck.patch b/debian/patches/0001-Disable-test-that-needs-base_quickcheck.patch new file mode 100644 index 0000000..8f1ed35 --- /dev/null +++ b/debian/patches/0001-Disable-test-that-needs-base_quickcheck.patch @@ -0,0 +1,20 @@ +From: Stephane Glondu +Date: Sat, 14 Mar 2026 09:56:00 +0100 +Subject: Disable test that needs base_quickcheck + +--- + http/test/dune | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/http/test/dune b/http/test/dune +index 8201ba4..36a713c 100644 +--- a/http/test/dune ++++ b/http/test/dune +@@ -12,6 +12,7 @@ + + (test + (name test_parser) ++ (enabled_if false) + (modules test_parser) + (package http) + (preprocess diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..d3328ad --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +0001-Disable-test-that-needs-base_quickcheck.patch -- 2.39.5